"proof" معنى adj. في مأمن من, لا يتأثر ب, صامد; n. برهان,
"theory" معنى n. نظرية, رأي, الجانب النظري من علم أو فن;
"proof" معنى adj. في مأمن من, لا يتأثر ب, صامد n. برهان, دليل, بينة, اختبار, تجربة, مباراة رياضية, الإمتحانات الخطية, إثبات, تجربة طباعية, درجة الكحول v. إستخرج تجربة طباعية عن, امتحن, جرب, إشترى بشرط التجربة, كتم الشمع, غير قابل لنفوذ السوائل, ثبت قيمته وإمكاناته بُرْهان
Hilbert is known as one of the founders of proof theory and mathematical logic, as well as for being among the first to distinguish between mathematics and metamathematics. يُعرف هيلبرت بأنه أحد مؤسسي نظرية الإثبات والمنطق الرياضي، بالإضافة إلى كونه من بين الأوائل الذين يميزون بين الرياضيات وما وراء الرياضيات.
The problem asks for a criterion of simplicity in mathematical proofs and the development of a proof theory with the power to prove that a given proof is the simplest possible. تطالب المشكلة بمعيار البساطة في البراهين الرياضية وتطوير نظرية الإثبات مع القدرة على إثبات أن دليل معين هو أبسط طريقة ممكنة.
جوال إصدار